more reformulation