TFP+Ineq setiings