Can Proofs Be Animated By Games?