We could specify this as an example on a separate line.