Commit b301505a7c8e3b67be7c37b32abae6e76581e065 Parent 2ba71ac9bdc07ebc28e23e8fa531e2ea55300f32 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 24 Mar 2016 22:50:55 -0700 Updated spec.