hypernotions

not defined yet