asseveration

not defined yet