asserta

not defined yet