The forgotten virtuosity of Michael Rabin