a. flanagan - swiftmas proofs

December 3rd, 2023