Definition and Inference