H.  Mousavi, Nezhadi, S. Sajjad, and Yuen, H., ?Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy?, 2021.