Premise: A man in a pullover sweater is smiling as he holds a violin .
Correct statement: It is certain that the man smiles while holding the violin .
Incorrect statement: It is probably not the case that the man smiles while holding the violin .