Text this: Truth-functional logic.