Example VII.1b.