Example 7. (coloring-version)