Proofs for Paula