Agreed: theory doesn't matter - until it does. The implementation of abstractions doesn't matter - until the consequences of the implementation leaks out as obs

Agreed: theory doesn't matter - until it does. The implementation of abstractions doesn't matter - until the consequences of the implementation leaks out as observable behavior.