using exists in checkP