. . . "5th-century astronomer" . . .