Perhaps this expectation is not needed as it's covered in the next spec?