loading…

Indemnification of employer

2 rules

Every employer required so to deduct the tax shall be liable for the payment of such tax, and shall be indemnified against the claims and demands of any person for the amount of any such payment made by such employer.

in view

Whole section

Encodings · 2

employer_liable_for_payment_of_deducted_tax26 USC § 3102 (b) · derived

26 USC 3102(b), first clause

name: employer_liable_for_payment_of_deducted_tax
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3102(b), first clause
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
          output: employer_required_to_collect_section_3101_tax_by_wage_deduction
          hash: >-
            sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: >-
            Every employer required so to deduct the tax shall be liable for the
            payment of such tax
versions:
  - effective_from: '1990-01-01'
    formula: employer_required_to_collect_section_3101_tax_by_wage_deduction

open in graph ↗

employer_indemnified_against_claims_for_deducted_tax_payment26 USC § 3102 (b) · derived

26 USC 3102(b), second clause

name: employer_indemnified_against_claims_for_deducted_tax_payment
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3102(b), second clause
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
          output: employer_required_to_collect_section_3101_tax_by_wage_deduction
          hash: >-
            sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: any such payment made by such employer
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: shall be indemnified against the claims and demands of any person
versions:
  - effective_from: '1990-01-01'
    formula: |-
      employer_required_to_collect_section_3101_tax_by_wage_deduction
      and employer_made_payment_of_deducted_tax

open in graph ↗

▸rulespec code

Shown source

statutes/26/3102/b.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

employer_liable_for_payment_of_deducted_tax

Derived

source: 26 USC 3102(b), first clause

- name: employer_liable_for_payment_of_deducted_tax
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3102(b), first clause
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
            output: employer_required_to_collect_section_3101_tax_by_wage_deduction
            hash: sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: >-
              Every employer required so to deduct the tax shall be liable for the payment of such
              tax
  versions:
    - effective_from: '1990-01-01'
      formula: employer_required_to_collect_section_3101_tax_by_wage_deduction

employer_indemnified_against_claims_for_deducted_tax_payment

Derived

source: 26 USC 3102(b), second clause

- name: employer_indemnified_against_claims_for_deducted_tax_payment
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3102(b), second clause
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
            output: employer_required_to_collect_section_3101_tax_by_wage_deduction
            hash: sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: any such payment made by such employer
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: shall be indemnified against the claims and demands of any person
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        employer_required_to_collect_section_3101_tax_by_wage_deduction
        and employer_made_payment_of_deducted_tax

loading…

us/statute/26/3102/b — Indemnification of employer · Axiom

Indemnification of employer

2 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 2

employer_liable_for_payment_of_deducted_tax26 USC § 3102 (b) · derived

26 USC 3102(b), first clause

name: employer_liable_for_payment_of_deducted_tax
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3102(b), first clause
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
          output: employer_required_to_collect_section_3101_tax_by_wage_deduction
          hash: >-
            sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: >-
            Every employer required so to deduct the tax shall be liable for the
            payment of such tax
versions:
  - effective_from: '1990-01-01'
    formula: employer_required_to_collect_section_3101_tax_by_wage_deduction

open in graph ↗

employer_indemnified_against_claims_for_deducted_tax_payment26 USC § 3102 (b) · derived

26 USC 3102(b), second clause

name: employer_indemnified_against_claims_for_deducted_tax_payment
kind: derived
entity: Payment
dtype: Judgment
period: Year
source: 26 USC 3102(b), second clause
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
          output: employer_required_to_collect_section_3101_tax_by_wage_deduction
          hash: >-
            sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: any such payment made by such employer
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3102
          excerpt: shall be indemnified against the claims and demands of any person
versions:
  - effective_from: '1990-01-01'
    formula: |-
      employer_required_to_collect_section_3101_tax_by_wage_deduction
      and employer_made_payment_of_deducted_tax

open in graph ↗

▸rulespec code

Shown source

statutes/26/3102/b.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

employer_liable_for_payment_of_deducted_tax

Derived

source: 26 USC 3102(b), first clause

- name: employer_liable_for_payment_of_deducted_tax
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3102(b), first clause
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
            output: employer_required_to_collect_section_3101_tax_by_wage_deduction
            hash: sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: >-
              Every employer required so to deduct the tax shall be liable for the payment of such
              tax
  versions:
    - effective_from: '1990-01-01'
      formula: employer_required_to_collect_section_3101_tax_by_wage_deduction

employer_indemnified_against_claims_for_deducted_tax_payment

Derived

source: 26 USC 3102(b), second clause

- name: employer_indemnified_against_claims_for_deducted_tax_payment
  kind: derived
  entity: Payment
  dtype: Judgment
  period: Year
  source: 26 USC 3102(b), second clause
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3102/a#employer_required_to_collect_section_3101_tax_by_wage_deduction
            output: employer_required_to_collect_section_3101_tax_by_wage_deduction
            hash: sha256:311604c9cc85d575f5115a34f1e664533465f2daea2626cae3518d3b593003e9
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: any such payment made by such employer
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3102
            excerpt: shall be indemnified against the claims and demands of any person
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        employer_required_to_collect_section_3101_tax_by_wage_deduction
        and employer_made_payment_of_deducted_tax