added the lower-than operator (-)