assertorially
not defined yet