sem07 start (plus late commits for earlier stuff)