Commit 52b2f3e8c7f8d039eb1ba509a75f98046afb4c5e Parent 54d1249c2caebf45a24d691dc765fb93c9a5e594 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 9 Jun 2015 21:08:06 -0700 Updated spec.