"It's a martial art," Magnus says. "But like, in my time, that means fighting that you do according to a specific style and usually based on, like, kicking or hitting or dancing or whatever. There's a bunch of different kinds from a bunch of different places. I think taekwondo is Korean? Like how kung fu is Chinese and capoeira is Brazilian."