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