Telefona gönder: Logic and reasoning in mathematics