However, the equivalence classes for the word problem of complete lattices are "too small", such that the free complete lattice would still be a proper class, which is not allowed.
Ωστόσο, οι κλάσεις ισοδυναμίας για το λεκτικό πρόβλημα  του ολοκληρωμένου  πλέγματος είναι "πολύ μικρές", έτσι ώστε το ελεύθερο ολοκληρωμένο πλέγμα θα εξακολουθούσε να είναι μια κανονική κλάση, πράγμα που δεν επιτρέπεται.