The Nationwide Climate Provider estimated that sixteen twisters landed across North Texas, and a few of them have been EF-4 tornadoes. What does that mean?