more realistic `exists`