exserted
not defined yet