Basic Elements of Proof (Model Examination)