Verified problem 12 works (slowly).   Thought about how to revisit problem 10.