disprovement

not defined yet