Does the example need to actually check this? Seems like if it's in the documentation, we can assume it will be abided.