start impl `exists` better