. . . "17th-century Spanish philosopher" . . .