====== propositional ======