document.write("«&nbsp;<a href='/news/view?id=81440'>500 Startups still owes money to its latest group of startups</a>");document.write(" | ");document.write("<a href='/news/view?id=81442'>A Cut-free sequent calculus for modal logic S5. (arXiv:1711.04634v2 [math.LO] UPDATED)</a>&nbsp;»");