Basic Elements of Proof (Model Examination): Difference between revisions