rewrite example 1.