Great prof that truly values pedagogy and makes sure students understand the material. Will sometimes be pedantic on notation and the structure of proofs, but that is to be expected from an introductory proofs course. One of the hidden gems in the department. Very approachable.