Further concepts for advanced mathematics — 2018 (Live and Old Spec)