Hyrax implementation