Added HOL metadata.