312 lecture: graah! teaching is fucking hard. I completely got width subtyping of records backwards until I caught myself on it at the very end.
---
democracy: has much shorter lines than I anticipated. I enjoyed the battleship-class lever machine I got to vote on, but Julia sums up my feelings on the issue of the virtuousness of participation per se pretty well.