proof that ghosts exist in Models