We can create propositions from this
We can create propositions from this