Modified hasProperWorld()