Text this: Elements of formal logic.