Discovering Girard - 9781461624141