Small reformulation