משפט 1: אז המשווה הוא שוב כל התחום `` X '', מאחר שהכמות האוניברסלית בהגדרה מתאימה לחלל. משפט 2: אז המשווה הוא שוב כל התחום `` X '', מאחר והכמות האמיתית בהגדרה היא אוניברסלית חללית. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.