assertions

not defined yet