“The average juror is not Mr. Spock. If he were, then a trial-court judge's job would be much easier. He could instruct the jury in broad strokes - instructing only as to the bare elements of the crime, perhaps - and be confident that the jury would deduce all of the finer-grained implications that must logically follow.”