Implement exists + tests