New: inequalities