Example VII.1a.