Proofs are now available for Mirror, Mirror