asserta
not defined yet