Further concepts for advanced mathematics — 2018 (Old Spec)