Reinventing tax litigation from first principles