Defined a necessary constructor to Proposition.