a_{k+1}