Added lecture4t, minor edits elsewhere