Example set-upfor 7.1