ensuring existence