New: inequalite