Koiran + Geometric Topology implies "Knottedness is in NP" - Greg Kuperberg