hypotypical
not defined yet