Reasoning with Ghosts is following