update: add constraint