open hol (395 results)