Well, yeah, but a high-frequency transformer can still itself have a coil differential for step-down and is still a transformer. They make them that operate at tens of kilohertz just fine, which is about where the inverter is going to operate.