rewritten examples