we need also constrain on target of Assoc