reformulation + correction