Did you know ... Search Documentation:
Non-deterministic predicates (version 2)