Tagged: rewrite laws