constraints (part 1 of -- most likely -- 3)