Title: Transparent Intensional Logic