"""Claim extraction helpers."""