repair definitions, add opposite ring