Chapter 933: Satisfaction and Inference