[kaba0]

But it only proves a model, not the actual code — that’s a major distinction.