exists() now really solves only one solution.