the reformulation explanation is finished