consequence rewriting