claims: redefinition