0 hol | Definition of hol