overrational
not defined yet