Representing and implementing multiple constraints.