Proceedings of the London Mathematical Society - Ontify