. . "15th-century Greek astronomer" . . .