Negative operations on proof and labels by T. Yavorskaya