Thread:NotLessOrEqual/@comment-4220590-20170605104137/@comment-4220590-20170605105744

I think it was only the latter case.