Added a site (HOL)