reassume
not defined yet