Typos => "positivity", "no constraint"