Next,
with the goal of confirming our design
correctly handles all dynamic events
in the environment, we specify the effects of each of those possible events network errors and repairs, disk errors, process crashes and restarts,
data-center failures and repairs, and
actions by human operators.