complete reformulation