undisproving

not defined yet