@yosh You know... A testable verification system is honestly better in some ways because you have a sense of incremental improvement towards correctness. Test262 is a good example.