hypertypical
not defined yet