I had a similar experience during my university course. Initially, Z notation felt theoretical, but when I applied it to a project — "Hospital Appointment System" — for requirement gathering, it made a big difference. Using Z helped me clearly define system behavior and logic without ambiguity. I realized that when you apply Z notation in real projects, especially during early requirement analysis, you truly understand its value. It brings precision and clarity that is hard to achieve with informal methods. That's why it’s prioritized in critical systems where correctness matters.