Definition and Existence