We would all be better off if the world were more logically consistent, and we won't ever get there if our first response is to simply shrug. By denying the go

We would all be better off if the world were more logically consistent, and we won't ever get there if our first response is to simply shrug. By denying the government any technical justifications for the collection effort, they are left with only naked lies. As far as the ambiguous language of laws, wouldn't it be nice if they were written in a constrained syntax that allowed for formal verification [0]... ah but here I am being a programmer again. [0] https://en.wikipedia.org/wiki/Attempto_Controlled_English https://en.wikipedia.org/wiki/Attempto_Controlled_English