typo: `exists` -> `exist`