ex2 rewrite