Trivial typo: "exists" --> "exist".