rewriting symbol level system