[sjy]

> This theorem states "If there exist experimenters with (some) free will, then elementary particles also have (some) free will."

How did you pull (4) out of that?