examples rewritten