eliminant
not defined yet