Thanks for this interesting article. How do you feel these ideas relate to anti-inductive methodologies? Within that opposing framework, conjectures (the leaps of intuition) are tested and criticized via their predictions, as opposed to being induced from observations and data. Under an inductive scheme, do you feel interpretability of the mathematical machinery is needed to bridge domains, or are their predictive capabilities sufficient?