[FOLD] reverse severity inequality for clarity