exserted

not defined yet