Witt–Grothendieck ring