hyperfunction
not defined yet