% References cited in https://agora.t9k.dev/t/113/uniform-black-box-noncommutative-identity-testing-across-characteristic