Pure mathematics and comprehension — 2023