Robuta

https://www.nist.gov/publications/local-randomness-examples-and-application
When two players achieve a superclassical score at a nonlocal game, their outputs must contain intrinsic randomness.
local randomnessexamplesapplicationnist