Explicitness and Inference