and that is why I specifically recommended “domino” notation, rather than any other notation, certainly not a “to” notation. domino notation (“from”) makes issues trivial to spot.
give inverses their own names, don’t just tack an “inv” onto the name.