a. nader - swiftmas proofs

December 3rd, 2023