Describir: Logic and arithmetic :