Did you know ... Search Documentation:
Predicate y/2

Sorry, No manual entry for y/2