You’re right, that’s the core part of it. I think I just assume that goes without saying, but it should probably be mentioned explicitly when defining Web3.