Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction