Introduce an abstraction that is going to be used to propose models for other models that can accept propositions.
Petko Bordjukov