Theory Of Constraint Steps