Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting …