Change suc to \suc in equations in Section 6