1: \begin{abstract}

2: We construct a completely normal bounded distributive lattice~$D$ in which for every pair $(a,b)$ of elements, the set

3: $\setm{x\in D}{a\leq b\vee x}$ has a countable coinitial subset, such that~$D$ does not carry any binary operation~$\sd$ satisfying the identities $\vx\leq\vy\vee(\vx\sd\vy)$, $(\vx\sd\vy)\wedge(\vy\sd\vx)=0$, and $\vx\sd\vz\leq(\vx\sd\vy)\vee(\vy\sd\vz)$.

4: In particular, $D$ is not a homomorphic image of the lattice of all finitely generated convex $\ell$-subgroups of any (not necessarily Abelian) \lgrp.

5: It has~$\aleph_2$ elements.

6: This solves negatively a few problems stated by Iberkleid,  Mart{\'{\i}}nez, and McGovern in 2011 and recently by the author.

7: This work also serves as preparation for a forthcoming paper in which we prove that \emph{for any infinite cardinal~$\gl$, the class of Stone duals of spectra of all Abelian \lgrp{s} with order-unit is not closed under $\scL_{\infty\gl}$-elementary equivalence}.

8: \end{abstract}

9: