Reformulation doc