Command, Example, and Inference: A Case Study 3/3