Define universally quantified constraints.