begin for the whole code in the section 3.34 propagation-of-constraints.
finish "connector"