. . "transparent intensional logic" . "transparent intensional logic" .