hyperrational
not defined yet