https://azpdf.net/in/docs/model-checking-solutions-for-assignment-9.10670033