Comments on Gerbert, Pope Sylvester II: