deluder
not defined yet