superassumed
not defined yet