Definition of PROPOSITION