https://123dok.org/document/zgwd7g17-compactness-and-contradiction-terence-tao.html