does…Exist -> do…Exist.