https://platoaistream.com/plato-data/tilted-hardy-paradoxes-for-device-independent-randomness-extraction/