In honour and memory of Michael J. O’Hara for his life-long contributions to understanding the working of the Earth and other planets by means of petrology and geochemistry | Journal of Petrology | DeepDyve