In statement (REF )
the phrase \({\mathcal {V}}\)  is congruence modular
means that the congruence lattice of every algebra
in \({\mathcal {V}}\) 
is modular; see, [1]}.
The equivalence of the conditions (a)–(c)
in statement (REF ) follows by
combining results from [2]} and
[3]}.
Proofs for statement (REF ) can be found in
[2]}
and [5]}.
