The formal distinction further implicates evolving formal causalities, a fugue of continuities and discontinuities, as a general lawfulness allows for emergent, novel laws.
Hume's problem of induction wouldn't be problematic, for all practical purposes, as an interpreter remains in a certain milieu of laws, certain givens, certain primitives, forces and axioms.