Downs is my favorite for safeties.
He has the instincts/IQ.
McNeil-Warren- he's off a few milliseconds. can trick him. But there's some explosion in him even when his feet are not set.
Thienemann- looks more stable on his tackles. Feet are more set, more text book. reads better than McNeil-Warren.
If Downs is there at 13, I'd take him. Otherwise, most mock drafts I've done, I've traded out of 13 and got a nice haul of picks to play with. Lots of prospects I like in the 80-150 range, especially for WR. I'd be more disappointed if the Rams traded up instead of down. Good draft to trade down imo.