existence problem