There is no finitely prespecifiable list of statements about ordinary human actions whose truth would be necessary and suYcient for the truth of the statement that the jury found Henderson guilty of murder.
The jury could not find Henderson guilty of murder, since there are no statements or actions sufficient to prove such actions