Extensional vs. Intensional Logic