Polyhistor definitions