Text this: Classical propositional operators :