I spoke in generalities. You are absolutely correct. I have no claim to being an expert or even a layman. What I do know is that once a description of any thing exceeds a certain threshold, there are bound to be redundancies. Think of it in terms of codebases for large softwares. The Linux kernel is approaching 20 MLoCs. I'd wager heavily on there being a different architecture delivering the same functionality with less code to describe it. Proving it would be a tremendously hard task, far outweighing any gain from such a bet.