Thank you for clarifying what you mean! I was using the same terminlogy as the article, and treating my property tests as informal forms of model checking due

Thank you for clarifying what you mean! I was using the same terminlogy as the article, and treating my property tests as informal forms of model checking due to their being unsound, but I can see how that isn't exactly correct.