Welcome Sweet #5! Proofs

October 23rd, 2019