 Whether or not there is a substantial metaphysical puzzle about the correspondence of the form of thoughts and the structure of reality will itself depend on certain controversial philosophical topics. And if there is a puzzle here, it might be a trivial one, or it might be quite deep. And as usual in these parts of philosophy, how substantial a question is is itself a hard question.