Fix introduction syntax.
Working on constraint association.