pseudoapplicative
not defined yet