State-arithmetic elimination.