open hol (34 results)