Introduction -- Michael Devitt at Eighty