extensional

not defined yet