What is believed to be the derivative of these names ?