Proceedings of the Edinburgh Mathematical Society