[godelski]

Yes, tests fail in this method. But I think you can understand why the failure is larger when we're talking about a giant compression machine. It's not even a leap in logic. Maybe a small step

[elbear]

I'm not sure what you mean. Btw, I'm not in the field, just have thought a lot about the topic.