Pure mathematics and comprehension — 2022