just curious, what's the meaning of !< in the comment?