Text this: Formal logic