>a protocol prescribes exactly the intersection of all implementations.

That's a better way to put it and that's more what I was getting at.