inegalite slightly rewritten