Squaring the circle
They are trying to formalise a logically inconsistent ever worsening complex mess. They should have spent the time and money on rationalising the taxation and benefit system, not trying to build a system to automate the impossible.