Type Analysis related sections and conclusion.