Some rewriting