us/statute/42/402/w/4

loading…

Official source

This subsection shall be applied after reduction under section 403(a) of this title .

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/w.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/402/w; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

delayed_retirement_credit_ceiling_age_years

Parameter

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_ceiling_age_years
  kind: parameter
  dtype: Integer
  unit: years
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
  versions:
    - effective_from: '1972-01-01'
      formula: '70'

months_per_year_402w

Parameter

source: 42 USC 402(w)(6)(A)

- name: months_per_year_402w
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: 1/12 of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '12'

delayed_retirement_one_percent_as_rate

Parameter

source: 42 USC 402(w)(6)(A)

- name: delayed_retirement_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '0.01'

delayed_retirement_credit_age_ceiling_months

Derived

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_age_ceiling_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_ceiling_age_years
            output: delayed_retirement_credit_ceiling_age_years
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: delayed_retirement_credit_ceiling_age_years * months_per_year_402w

delayed_retirement_credit_transition_denominator

Parameter

source: 42 USC 402(w)(6)(C)

- name: delayed_retirement_credit_transition_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: plus 1/24 of 1 percent
  versions:
    - effective_from: '1987-01-01'
      formula: '24'

old_age_insurance_benefit_eligibility_year

Derived

source: 42 USC 402(w)(6)

- name: old_age_insurance_benefit_eligibility_year
  kind: derived
  entity: Person
  dtype: Integer
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: first becomes eligible for an old-age insurance benefit
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#old_age_early_retirement_age_years
            output: old_age_early_retirement_age_years
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: year_of_birth + old_age_early_retirement_age_years

drc_first_transition_start_year

Parameter

source: 42 USC 402(w)(6)(B)

- name: drc_first_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: before 1979
  versions:
    - effective_from: '1972-01-01'
      formula: '1979'

drc_second_transition_start_year

Parameter

source: 42 USC 402(w)(6)(C)

- name: drc_second_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
  versions:
    - effective_from: '1972-01-01'
      formula: '1987'

drc_final_start_year

Parameter

source: 42 USC 402(w)(6)(D)

- name: drc_final_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
  versions:
    - effective_from: '1972-01-01'
      formula: '2005'

delayed_retirement_credit_applicable_monthly_rate

Derived

source: 42 USC 402(w)(6)

- name: delayed_retirement_credit_applicable_monthly_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the "applicable percentage" is
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: in any calendar year before 1979
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              if the calendar year in which that particular individual first becomes eligible for
              such benefit is not evenly divisible by 2
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 2004
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_first_transition_start_year
            output: drc_first_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_second_transition_start_year
            output: drc_second_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_final_start_year
            output: drc_final_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_one_percent_as_rate
            output: delayed_retirement_one_percent_as_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_transition_denominator
            output: delayed_retirement_credit_transition_denominator
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: >-
        if old_age_insurance_benefit_eligibility_year < drc_first_transition_start_year:
        delayed_retirement_one_percent_as_rate / months_per_year_402w else: if
        old_age_insurance_benefit_eligibility_year < drc_second_transition_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 else: if
        old_age_insurance_benefit_eligibility_year < drc_final_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 +
        floor((old_age_insurance_benefit_eligibility_year - (drc_second_transition_start_year - 2))
        / 2) * delayed_retirement_one_percent_as_rate /
        delayed_retirement_credit_transition_denominator else: 2 *
        delayed_retirement_one_percent_as_rate / 3

delayed_retirement_credit_increment_months

Derived

source: 42 USC 402(w)(2)

- name: delayed_retirement_credit_increment_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              the number of increment months for any individual shall be a number equal to the total
              number of the months
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after the month before the month in which such individual attained retirement age
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        max(
            0,
            min(
                old_age_benefit_entitlement_age_total_months,
                delayed_retirement_credit_age_ceiling_months
            )
            - retirement_age_total_months
        )

delayed_retirement_credit_total_rate

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_total_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the applicable percentage ... multiplied by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the number (if any) of the increment months
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        delayed_retirement_credit_applicable_monthly_rate
        * delayed_retirement_credit_increment_months

delayed_retirement_credit_increase_amount

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_increase_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: shall be increased by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of such amount
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        * delayed_retirement_credit_total_rate

old_age_insurance_benefit_after_delayed_retirement_credit

Derived

source: 42 USC 402(w)(1)

- name: old_age_insurance_benefit_after_delayed_retirement_credit
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: The amount of an old-age insurance benefit ... shall be increased
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_increase_amount
            output: delayed_retirement_credit_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        + delayed_retirement_credit_increase_amount

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 403 (a)inferredUS Federal › Statutes › Title 42 › § 403 › (a)

loading…

us/statute/42/402/w/4 · Axiom

Official source

This subsection shall be applied after reduction under section 403(a) of this title .

in view

Whole section

▸rulespec code

Shown source

statutes/42/402/w.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/402/w; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

delayed_retirement_credit_ceiling_age_years

Parameter

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_ceiling_age_years
  kind: parameter
  dtype: Integer
  unit: years
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
  versions:
    - effective_from: '1972-01-01'
      formula: '70'

months_per_year_402w

Parameter

source: 42 USC 402(w)(6)(A)

- name: months_per_year_402w
  kind: parameter
  dtype: Integer
  unit: months
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: 1/12 of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '12'

delayed_retirement_one_percent_as_rate

Parameter

source: 42 USC 402(w)(6)(A)

- name: delayed_retirement_one_percent_as_rate
  kind: parameter
  dtype: Rate
  source: 42 USC 402(w)(6)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of 1 percent
  versions:
    - effective_from: '1972-01-01'
      formula: '0.01'

delayed_retirement_credit_age_ceiling_months

Derived

source: 42 USC 402(w)(2)(A)

- name: delayed_retirement_credit_age_ceiling_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_ceiling_age_years
            output: delayed_retirement_credit_ceiling_age_years
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: delayed_retirement_credit_ceiling_age_years * months_per_year_402w

delayed_retirement_credit_transition_denominator

Parameter

source: 42 USC 402(w)(6)(C)

- name: delayed_retirement_credit_transition_denominator
  kind: parameter
  dtype: Integer
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: plus 1/24 of 1 percent
  versions:
    - effective_from: '1987-01-01'
      formula: '24'

old_age_insurance_benefit_eligibility_year

Derived

source: 42 USC 402(w)(6)

- name: old_age_insurance_benefit_eligibility_year
  kind: derived
  entity: Person
  dtype: Integer
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: first becomes eligible for an old-age insurance benefit
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#old_age_early_retirement_age_years
            output: old_age_early_retirement_age_years
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: year_of_birth + old_age_early_retirement_age_years

drc_first_transition_start_year

Parameter

source: 42 USC 402(w)(6)(B)

- name: drc_first_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(B)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: before 1979
  versions:
    - effective_from: '1972-01-01'
      formula: '1979'

drc_second_transition_start_year

Parameter

source: 42 USC 402(w)(6)(C)

- name: drc_second_transition_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(C)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
  versions:
    - effective_from: '1972-01-01'
      formula: '1987'

drc_final_start_year

Parameter

source: 42 USC 402(w)(6)(D)

- name: drc_final_start_year
  kind: parameter
  dtype: Integer
  unit: calendar_year
  source: 42 USC 402(w)(6)(D)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
  versions:
    - effective_from: '1972-01-01'
      formula: '2005'

delayed_retirement_credit_applicable_monthly_rate

Derived

source: 42 USC 402(w)(6)

- name: delayed_retirement_credit_applicable_monthly_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Year
  source: 42 USC 402(w)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the "applicable percentage" is
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: in any calendar year before 1979
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1978 and before 1987
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 1986 and before 2005
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              if the calendar year in which that particular individual first becomes eligible for
              such benefit is not evenly divisible by 2
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after 2004
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_first_transition_start_year
            output: drc_first_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_second_transition_start_year
            output: drc_second_transition_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#drc_final_start_year
            output: drc_final_start_year
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_one_percent_as_rate
            output: delayed_retirement_one_percent_as_rate
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#months_per_year_402w
            output: months_per_year_402w
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_transition_denominator
            output: delayed_retirement_credit_transition_denominator
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: >-
        if old_age_insurance_benefit_eligibility_year < drc_first_transition_start_year:
        delayed_retirement_one_percent_as_rate / months_per_year_402w else: if
        old_age_insurance_benefit_eligibility_year < drc_second_transition_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 else: if
        old_age_insurance_benefit_eligibility_year < drc_final_start_year:
        delayed_retirement_one_percent_as_rate / 2 / 2 +
        floor((old_age_insurance_benefit_eligibility_year - (drc_second_transition_start_year - 2))
        / 2) * delayed_retirement_one_percent_as_rate /
        delayed_retirement_credit_transition_denominator else: 2 *
        delayed_retirement_one_percent_as_rate / 3

delayed_retirement_credit_increment_months

Derived

source: 42 USC 402(w)(2)

- name: delayed_retirement_credit_increment_months
  kind: derived
  entity: Person
  dtype: Integer
  period: Month
  source: 42 USC 402(w)(2)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: >-
              the number of increment months for any individual shall be a number equal to the total
              number of the months
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: after the month before the month in which such individual attained retirement age
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: prior to the month in which such individual attained age 70
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/416/l#retirement_age_total_months
            output: retirement_age_total_months
            hash: sha256:c49ec29f4805607b10cceb210c1dc444f63efd37e0f692c51ac534855f44820a
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        max(
            0,
            min(
                old_age_benefit_entitlement_age_total_months,
                delayed_retirement_credit_age_ceiling_months
            )
            - retirement_age_total_months
        )

delayed_retirement_credit_total_rate

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_total_rate
  kind: derived
  entity: Person
  dtype: Rate
  period: Month
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the applicable percentage ... multiplied by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: the number (if any) of the increment months
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        delayed_retirement_credit_applicable_monthly_rate
        * delayed_retirement_credit_increment_months

delayed_retirement_credit_increase_amount

Derived

source: 42 USC 402(w)(1)

- name: delayed_retirement_credit_increase_amount
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: shall be increased by
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: of such amount
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        * delayed_retirement_credit_total_rate

old_age_insurance_benefit_after_delayed_retirement_credit

Derived

source: 42 USC 402(w)(1)

- name: old_age_insurance_benefit_after_delayed_retirement_credit
  kind: derived
  entity: Person
  dtype: Money
  period: Month
  unit: USD
  source: 42 USC 402(w)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/402/w
            excerpt: The amount of an old-age insurance benefit ... shall be increased
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/402/w#delayed_retirement_credit_increase_amount
            output: delayed_retirement_credit_increase_amount
            hash: sha256:local
  versions:
    - effective_from: '1972-01-01'
      formula: |-
        old_age_insurance_benefit_before_delayed_retirement_credit
        + delayed_retirement_credit_increase_amount

▸citations (1)

References

This rule cites 1 other rule.

42 USC § 403 (a)inferredUS Federal › Statutes › Title 42 › § 403 › (a)