Yes, I know. Spiders are arachnids. But puns!