In the vein of artisanal integers, such as brooklynintegers.com, I'd like to start producing artisanal proofs, where "wlog" stands for *with* loss of generality!