Unfold [transitivity] and [symmetry] in the corresponding tactics

I've reordered things a bit.  Is it better now?