Home ownership is pretty seriously incentivized in the U.S., innit? Wow.
I just want to say, tax forms would be ten times simpler if they were expressed using algebra and pseudocode. Maybe we should lobby for "advanced notation" versions. (But at least there are now a bunch of calculator apps on the IRS website that make it a lot easier to figure out various conditionals...)