structure Proposition:PROPOSITIONSIG = PROPOSITION();