I don't understand why this change is needed. To me, they look logically equivalent.