The Miami Dolphins have officially signed Pro Bowl linebacker Matthew Judon. The team announced the move on Tuesday after Judon worked out with them on Monday.

“If you go look at the film, I dropped [into coverage] on 60 percent of the plays,” Judon told Card Player in May. Judon was exaggerating; Per Pro Football Focus, he rushed the quarterback 328 times and dropped into coverage 87, but that’s more plays in coverage than he’s accustomed.