Text this: Logic and arithmetic :