Fixing a soundness bug in arithmetic and a roubustness problem in rings.