example of constraint carrying
update