r. bowman - swiftmas proofs

December 3rd, 2023