Discovering Girard