defeater

not defined yet