extensionally

not defined yet