. . . "8th-century astronomer" . . . .