proof model