Add an example of remaking constraints.