asserter

not defined yet