https://9lib.org/document/qvl9g19l-properly-homotopic-nontrivial-planes-are-isotopic-by.html