Recursively inseparable