Add alternative definition of less-than