Minsky_Machines.Recursive_Inseparability