Example1 rewritten