inv(A) - (other stuff)
So, it only makes sense if A is much easier to solve than (A-UBU’).
Reply on news.ycombinator.com