j. berger - swiftmas proofs

December 3rd, 2023