propositionalizations