KW-STACEY proofs

July 14th, 2023