Amelia Proofs