https://platoaistream.net/plato-data/2021-retrospective-innovation-in-verification/