We probably don't need to show this example if we have the above (and it's right under the bullet point).