https://platoaistream.com/plato-data/the-quest-for-bugs-verification-is-a-data-problem-semiwiki/