(=> (/\ KAŻDEGO DNIA JEST WIELE ZMIAN
        ! (=> NIEKTÓRE ZMIANY SĄ BŁĘDNE
              UŻYTKOWNIK KOŃCOWY OTRZYMUJE BŁĘDNY PRODUKT))
    (\/ UŻYTKOWNIK KOŃCOWY OTRZYMUJE SPRAWDZONY PRODUKT
        (=> POPRZEDNIA SPRAWNA ZMIANA JEST ZNANA
            MOŻLIWE JEST USTALENIE BŁĘDNEJ ZMIANY)))

(/\ DYSTRYBUCJA GUIX JEST ROZWIJANA Z UŻYCIEM SYSTEMU KONTROLI WERSJI
    SYSTEM GUIX PODCZAS REKONFIGURACJI ODWOŁUJE SIĘ DO SZCZEGÓLNEJ WERSJI)