$  -   $(0 \to 0) \lor (0 \to 0)^* \approx 0 $.  The variety $\mathbf{V(L_0^{dm}, L_0^{dm}, L_0^{dm}, D_0, D_0, D_0})$ is defined, modulo $\mathbf{RDMSH0}$, by  -   $y \lor (y \to (x \lor  y)) \approx (0 \to x) \lor (x \to y)$