5.03. Revising mental arithmetic