Escaping the propositional prison