document.write("« A proof of Gowers' FIN$_k$ theorem. (arXiv:1402.6264v2 [math.CO] UPDATED)");document.write(" | ");document.write("A replacement for traffic lights gets its first test »");