Changed the propositio nmodel