It also sounds like the have a deal in place for Javon Hargrave. We are going from a defense that gets no push from their interior to hopefully having a better than league average push from that position.
Also the number that Allen signed for is inflated (likely agent reported).
The base contract is 3 year $51 with incentives possibly pushing it up to that $60M value. And in reality it is more like a 2 year deal for about $35M that carries a $5M deadcap it in that 3rd year.