Commit 735f77b2a6a016abd56dfd1717de5a4b14528c36 Parent 8122177e49f9d28b6606ce8168788113508e3306 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 7 Oct 2014 23:00:56 -0700 Added cases from #51 to spec. Closes #51.