Search, height function definitions