constraint 1 - ~~~~~~