constraint AND / changes on triggers (to be checked)