Suboptimal.
Beginning work on Zero and Succ.
Zero and Succ.
Fix Zero and Succ.