if the element is less
pwd1 is less
has less than n+1 tokens
to read. Must be less [...] be less
has less than n
Limits_Infinity (Function) DynLimits_Less
, the less significant