That's true, but I think it's a different problem. It's not clear that a spec should be expected to contain all the context needed.