rewrite_intro_noteplus

/rewrite_intro_noteplus