I made a mistake in the statement of the conjecture as published on OPG. I corrected the problem statement both on OPG and on my blog. It should be rather than .

Indeed the equivalent reformulations of the theorem are correct and my proof (of a more general statement than this theorem) is not affected by the above mentioned error.

Robert, you do not understand me because I introduced new notations (that up, down, Cor, etc.) You may wish to read my preprint about these things (filters on posets and generalizations).

## Oh, my mistake

I made a mistake in the statement of the conjecture as published on OPG. I corrected the problem statement both on OPG and on my blog. It should be rather than .

Indeed the equivalent reformulations of the theorem are correct and my proof (of a more general statement than this theorem) is not affected by the above mentioned error.

Robert, you do not understand me because I introduced new notations (that up, down, Cor, etc.) You may wish to read my preprint about these things (filters on posets and generalizations).