Dignified Proof Section

by Karl Clement