Proceedings of the Edinburgh Mathematical Society [electronic