correcting_machine
