Angelina and Julia Proofs