Exists c