My comment was about code, not fact checking - that’s why I said they were a solved problem provided you use static typechecking and tests.