For every n, we evaluate the smallest k such that the congruence inclusion
$\alpha (\beta \circ _n \gamma ) \subseteq \alpha \beta \circ _{k} \alpha \gamma $
holds in a variety of reducts of lattices introduced by K. Baker. We also study varieties with a near-unanimity term and discuss identities dealing with reflexive and admissible relations.