second edition, with formatting code