Transparent intensional logic