disproval

not defined yet