more explanation of "intensional" and "extensional"