InitialProblem and Introduction extended.