Negative operations on proof and labels door T. Yavorskaya