LEONID PROOF