"Transparent Intensional Logic" . . "Transparent Intensional Logic" . .