Pure mathematics and comprehension — 2020