With errata on leaf (b)4r.