Concepts for advanced mathematics — 2017 (Old Spec)