Definition of Hoghenhyne