 Writing "S" as a directed union formula_2 of finite distributive (∨,0)-subsemilattices, we are "hoping" to represent each "Si" as the congruence lattice of a lattice "Li" with lattice homomorphisms "fij