“…Observe that if ϕ = id, then Conj ϕ G,S is equal to the conjugacy separability Conj G,S introduced by Lawton, Louder, and McReynolds [30]; subsequently, Conj G,S (n) Tconj G,S (n). If, for some ϕ ∈ Aut(G), we have that Conj ϕ G,S (n) < ∞ for all n ∈ N, then G is ϕ-twisted conjugacy separable.…”