“…The finite lattice representation problem asks whether every finite lattice is isomorphic to the congruence lattice of a finite universal algebra. This problem is one of the oldest [12] and most important in universal algebra [1,2,4,10,14,16]. Pálfy and Pudlák [15] have reduced the problem to the question, is every finite lattice isomorphic to an interval in the subgroup lattice of a finite group?…”