asseverations

not defined yet