Unity_of_the_proposition