disproving_machine
