Rewriting
tests