Text this: A primer of formal logic