< is more intuitive (semantic) than !=