I'm sorry it was levitation machine that used the basic axioms of sacred geometry (You know the one where you can use meta-trans-alegebra to convert'phi' equal to 'pi' and thus square a circle, something that is impossible in euclidean and non-euclidean geometry, but is entirely possible in sacred geometry.) Oh wait, just joking. That's the problem with reality, it's usually pretty damn mundane. No flying saucers, no lost civilizations that had warp drives and were lost when a comet flew by the earth. Nope, just people hauling rocks from one place to the next and then everybody forgets about them.