Final edits. Inserted code example.