animation-proofs