Truth-functional logic.