Test reformulation.