eliminators

not defined yet