yes

I think it really helps to fully understand how formal logic works. This allows you to let your guard down a little bit when reading/parsing the text for potential conditionals. Once you find one(conditional) you know ok I see this conditional, is there anything more in this text that effects this conditional? If so that is usually where the embedding starts. So you take that first conditional and almost look at it as one conditional as a whole.

Here's an example formally.

A->B (first conditional) then you notice, ok there is another conditional that effects this whole condition. In this case call the effecting conditional Z. In your head you can look at that as two separate conditionals and compartmentalize each one.

Formally

(A->B) = C, Z->C == Z->(A->B).

What this allows me to do at least is to focus on figuring out the necessary and sufficient conditions in each argument then I can plug in the coefficients where needed. Idk if that makes sense, but I have been grasping this concept pretty easily and I think this is the main reason. Hope this helps.