A stab at intensional vs. extensional, and clarifying nonmeasurability of app
Another stab at intensional/extensional