Amelia proofs