How do we know the Gator linebackers did well this spring?