It would be good to add an `@example`.