document.write("«&nbsp;<a href='/news/view?id=134217'>“Eat More Onions”: Desperate and massively debatable medical advice from 1918</a>");document.write(" | ");document.write("<a href='/news/view?id=134219'>$\Pi^1_1$-Comprehension as a Well-Ordering Principle. (arXiv:1809.06759v1 [math.LO])</a>&nbsp;»");