Answers to Simon Hoare's letters, reproduced in December '19 blog.