Proceedings of the Royal Society of Edinburgh, Section A: Mathematics - Ontify