document.write("«&nbsp;<a href='/news/view?id=141304'>Appendix to a paper [arXiv:1809.08623] of B. Williams. (arXiv:1810.06792v1 [math.NT])</a>");document.write(" | ");document.write("<a href='/news/view?id=141306'>Ars on your lunch break: Thinking in public and brawling with Batman</a>&nbsp;»");