. . . "15th-century Spanish astronomer" . .