Creates a new checked domain and updates the associated variables