Notes on rember rewrite