negating_machine
