Second part of the constraint solving text