isLessOrEqual still needs more expl.