Build government systems on the law

Ground AI models in citable law

Power products on rules you don't rebuild

Simulate policy on real rules

loading…

Computable law for all.

Open, machine-readable encodings of the world's rules — starting with tax and benefit policy.

Open infrastructure for encoded law

us/form/irs/ty2025/i1040sca/block-33 — Limit when loans exceed the fair market value of the home. · Axiom

Limit when loans exceed the fair market value of the home.

If the total amount of all mortgages is more than the fair market value of the home, see Pub. 936 to figure your deduction.

in view

Whole section

loading…

If the total amount of all mortgages is more than the fair market value of the home, see Pub. 936 to figure your deduction.

in view

Whole section