Correct Behavior in the Cleanroom Sample Video