Further concepts for advanced mathematics — 2015 (Old Spec)