Title: PitmanScript teaching notes