Text this: Elementary formal logic