Discovering Girard by Michael Kirwan