Why Smart will leave Alabama