This is important, since different derivations would make use of different physical constructs, and their "formal" interconnection should reveal relevant interpretation issues, while keeping these interpretations consistent to each other by construction.
This is important, since different derivations would make use of different physical constructs, and their "formal" interconnection should reveal interpretation distictions. The formal interconnection between them as axiomatic approaches keeps these interpretations consistent to each other by construction.