summary of rewriting rules