Logical_machine