revising eager explanations in ContDisReif