Mathematical proceedings of the Cambridge Philosophical Society