Binary Rewriting