Consistency of Pacman