Examples rewritten