Moved example to Section 6