20120204 home.science: Imply versus Infer