Text this: The calculus of logic