Added on_inequality function