Way deep in the latter, epine was provoked into posting a very interesting analysis on the controversy that surrounds string theory's problem with testability, making explicit reference to "the expressive power of the available formalisms", a concept I have not previously seen described like that but which I immediately found meaningful and applicable.

But he says it much better than I could hope to, so go read it: