Any almost completely labeled pair admits two pivot operations corresponding to dropping one or other copy of its duplicated label, and each of these operations may result in another almost completely labeled pair, or a completely labeled pair.
Bilo koji skoro potpuno označeni par podleže dvema pivot operacijama koje odgovaraju odbacivanju jedne ili druge kopije duplikatne oznake i svaka od ovih operacija može rezultovati novim skoro potpuno označenim parom ili kompletno označenim parom.