Well, the spec can of course define constraints of how the function is implemented.