This is meant to be a bad example:

> i.e. the following is invalid: