Proposition 2.2.23. There are recursively enumerable subsets $A,B\subseteq \mathbb{N}$ that are recursively inseparable.