Infer vs. Imply