animation proofs