constraint instantiation