the npa hierarchy thus provides a computational characterization, not of formula_89, but of formula_106. if tsirelson’s problem is solved in the affirmative, namely, formula_140, then the above two methods would provide a practical characterization of formula_111. if, on the contrary, formula_142, then a new method to detect the non-realizability of the correlations in formula_143 is needed.