9.2.4.07: Construct logical arguments using axioms, definitions, theorems and postulates that clearly justify the reasoning. (MP3, MP6)