Thomas comments on Open thread, June 5 - June 11, 2017

[Thomas]

13 lines are also just enough for 23142314.