In figure 3, I claim that aligning the `last's looks more sane than aligning the `='s in definition 4.