that is indeed what occurred