PAULA: Proofs