claim set: moved to a separate file