No need for `updates` to have a first-order dependency on `facility`