IBL task sequence for an introduction to proof course.