進次郎構文(A=A)
何が問題か分からない。だからこそ何が問題か分からない。

達夫構文(A≠A)
何が問題か分からないというのは何が問題か分からないというわけではない。