Rewriting abstract