Todo-Zumo: improvements in clarity and presentation.