I guess we don't even need the second clause since it always evaluates to true; that'd probably be more readable than expanding the <= into two parts.