extensionalism

not defined yet