PRE EEPR HOL