We gave a talk at the Go Israel November 2022 Meetup