DeBoer is, without a doubt, leaving Alabama.