preassumed
not defined yet