Progress report November 17, 2019 Edited chapters 10-14. Whoo!As expected, it’s less-polished—more missing words and whatnot. But it’s really exciting.