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

That's correct.