. . . "12th-century astronomer" . . .