moved *Constraint substitutions