Proof model added