Bob's mini-course

From KNILT