Miya Finals -- proofs for review

March 21st, 2024