More exactly, a propositional function. [BR]