Further concepts for advanced mathematics — 2016 (Old Spec)