Security Engineering Research Group

HOL.

HOL stands for Higher oder logic in general. In Pakistan, however, HOL has a different meaning. Many people use it with other words like “Shadee HOL”, “Main HOL”.

The people who developed Isabelle based on HOL, did not notice this novel feature of HOL, which is already present in Pakistan from quite a long time. The tradition dates back to when people started to show off their money on the “Shadee HOL”.

one may wonder what is the relationship between HOL and “Shadee HOL”. In fact, there is a relationship but domestic one. Now a days, some times, when i dwell into the details of my HOL, i find my self very alone there. I think that i am in desperate need of the event “Shadee HOL”. A person, to whom i can show my life theories, Lemmas, goals and sub-goals. In particular, In the evening, some body is waiting for me, and calls me again n again, and ask me, “jee, kub aa rahay hain aap, ab aa bi jahain, ammi kay ghar jana hay”, and i leave Isabelle, his HOL and every one out there and leave the office suddenly.

But the theory of “Shadee HOL”, can not be proved only by simplistic rules, given by Isabelle. It requires much more efforts. Some friends experienced it, some are ready to practice it. Hopefully, it remains HOL and not “JanJaL”

May Allah helps us to have successful “HOL”, past and future.

1 Comment to HOL.

1. 

   Itna sanaata kyon hay bhai!?
shazkhan on July 25th, 2007

Leave a comment