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