Source: http://people.math.harvard.edu/~knill/teaching/math22a2018/lit/TaoSolvingMathProblems.pdf