All ready for the 01-intro lecture (I think)