. "Transparent intensional logic" . . "Transparent intensional logic" .