Or gee, maybe they could use it to simplify the tax codes. One bot finding and closing loopholes while another one finds others, creating an even more incomprehensible tax code.