Let’s say frogs are proven to be room temperature superconductors. How do we turn them into maglev trains?