Polymath16, sixteenth thread: Writing the paper and chasing down loose ends, II Short, Fat Matrices, 11 May 2020 This is the sixteenth “research” thread of the Polymath16 project to make progress on the Hadwiger–Nelson problem, continuing thi…