refuting_machine
