propositions of essence and of existence