Rosa & Mia proofs