example rewritten