It's my understanding that long-known high temperature superconductors already don't require helium cooling. How does that fact fit into the picture?