Started ProofModel