exserts
not defined yet