Truth-functional statements