Abstract: I will give a broad overview of the proof of Sachs' linkless embedding conjecture by RST. My goal is simply to define the terminology, outline their main steps, and point out where they do or do not use topological arguments, to provide a starting point for the rest of the workshop.