reassertion

not defined yet