Alica and Daughter Proofs