open hol (14 results)