Pure mathematics and comprehension — 2019