Implement prove_contains()