ef: error correction on fine~grid
for k = 1:max_iter