assertional

not defined yet