exserts

not defined yet