Some stashed changes from lectures 1 and 2