Maj:t : a ) Propositioner: