The Deductive Nomological Model Of Scientific Explanation The Autodidact S Toolkit