Jaca and Samson Proofs

November 19th, 2023