Text this: Logic in elementary mathematics