General reformulation