Commit 32c4cc7991cc3f96b65237b6b44e9182f7240364 Parent 7cdb60b5f5e8d97264c5b878dd2e08497afec038 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 24 Oct 2014 22:43:39 -0700 Updated TODO.