Miss A EditsMiss A: Proofs