Tax Theory & Feral AI