removed uncertain language
began writing description of constraint generation