KW-SKYLAR proofs

December 1st, 2023