Mira ~ EditedMira ~ Proofs