defeaters

not defined yet