Text this: Truth-Functional Logic.