refuter
not defined yet