https://vtuupdates.com/solved-model-papers/define-open-statement-quantifiers/