Pacman_behaviour_proof.txt fix