Tagged reformulation