Before revision: In opposition to extensional contexts are intensional contexts (which usually involves modal operators and modal logic), where terms cannot be substituted without potentially compromising the truth-value.
After revision: In opposition to extensional contexts are intensional contexts (which can involve modal operators and modal logic), where terms cannot be substituted without potentially compromising the truth-value.