Yeah, that is why the code always meets user expectations.
User expectations are not the spec, they are what the spec aspires to.
User expectations are not the spec, they are what the spec aspires to.