Specht's Theorem states that two matrices A and B in Mn(C) are unitarily equivalent if and only if tr(w(A;A )) = tr(w(B;B )) for all words w(x; y) in two non-commuting variables x and y. In this article we examine to what ...