Is it always going to be `ClaimSet[0]`?