A review by nineteen_adze
Proof by Induction by José Pablo Iriarte

Read 4/27/22 for the Hugo readalong. Details to follow after discussion.