Does Butch Jones need to beat Florida?