superassertion

not defined yet