 Wilkin Formby is another one who was a blue chip guy who redshirted last year, and he got to run with the ones a lot during spring practice. So I think in the absence of Proctor, the tackles at Alabama improved a little bit in terms of their options, and then Proctor is going to have to come in and not only get adjusted to playing football on the pads and having those things, but actually learning the offense, which is something that he missed during spring as well.