Larry Allen: RIP.