Did you know ... Search Documentation:
Predicate all_distinct/1