Leverage Models out in the open propositional representations