Relationship between HOL, and other media