This means that the original formula and the result of the translation are equisatisfiable but not equivalent.
Ово значи да су почетна формула и резултат трансформације еквизадовољиви, али не и еквивалентни.