abstracting_machine
