https://twitter.com/jjcarett2/status/1598627244292935681?s=20&t=5JLrAKIKjXwiuDermxDT0g Schwartz-Zippel and polynomial identity testing https://arxiv.org/abs/2211.09691