Talk:Transparent intensional logic