. . . . . . "John of Gmunden and Campanus of Novara" . . .