That's all right; no need to feel bad. These things happen when communicating in forums like this.

Btw - Another useful way to think about model building (of reality) is analogous to the study of "Accuracy and Precision" usually taught in introductory numerical methods course. Wikipedia has a very nice explanation - https://en.wikipedia.org/wiki/Accuracy_and_precision Formal Methods help with precision and consistency. But of course you could be modeling the wrong requirements and thus it would not be accurate. Accuracy requires human intelligence (i.e. domain knowledge) but AI can help here too. You can structure the domain requirements (formally or not) and engage in socratic dialogue with an AI-agent to refine your understanding of the problem and converge towards the "truth" i.e. a set of requirements acceptable to all stakeholders. There are actually a bunch of startups working on this eg. Entalpa - https://entalpa.com/en

Some additional resources to help one better understand the concepts behind formal methods;

Faultless systems: Yes we can! - https://www.research-collection.ethz.ch/entities/publication...

The Faultless Way of Programming - https://dl.acm.org/doi/fullHtml/10.1145/3698322.3698340

The Digital Maieutic: Socrates and the Art of Prompting - https://news.ycombinator.com/item?id=48342887

Finally, see Industrial-Strength Formal Methods in Practice for case studies and practical advice - https://link.springer.com/book/10.1007/978-1-4471-0523-7