Pure mathematics and comprehension — 2021