open hol (44 results)