Changed name of variable, so that it doesn't get confused with terminology used in constraints