open hol (15 results)