DM.LR.2: The student will apply logic and proof techniques in the construction of a sound argument.