Did you know ... Search Documentation:
Grammar rule nop//0
 nop// is det
Do nothing. (More neutral than []).