dynamic-reasoning

(1)