First part of the constraint solving text