|entries|hyperintensionality|