deciding_machine
