(=> (/\ EACH DAY THERE ARE MANY CHANGES
        ! (=> SOME CHANGES ARE FAULTY
              END USER RECEIVES A FAULTY PRODUCT))
    (\/ END USER RECEIVES A TESTED PRODUCT
        (=> A PREVIOUS GOOD CHANGE IS KNOWN
            IT IS POSSIBLE TO IDENTIFY THE FAULTY CHANGE)))

(/\ GUIX DISTRIBUTION IS DEVELOPED USING A VERSION CONTROL SYSTEM
    A GUIX SYSTEM DURING RECONFIGURATION REFERS TO A SPECIFIC VERSION)