Couldn't find “hollowtiphero” automatically.