paper was easy mcqs to yaad nai short qs 1. name the operations that takes two sets as input and return a set 2. Why proofs are important in formal methods 3. What is universal quantifier 4. What is elems give an example long qs 1. Name any five intrinsic types in VDM-SL 2. Why well formedness is essential 3. Set were given and their cardinality was asked