In other words, it is possible that proper classes of the class of all terms have the same meaning and are thus identified in the free construction.
Με άλλα λόγια, είναι πιθανό ότι οι κανονικές κλάσεις της κλάσεως όλων των όρων να έχουν την ίδια σημασία και επομένως να προσδιορίζονται στην ελεύθερη κατασκευή.