existence of solutions