Commit 2b1b00fb19fe470f7745c208377345975b9e0b2c Parent ce5671ae0289b05322c09bb80af2d3317acd544f Author John MacFarlane <jgm@berkeley.edu> Date Fri, 24 Jun 2016 21:55:44 -0700 Reformatted.