Proof that the cat moves