  It is argued that Hardy-type proposals assume either nonlocality at
detection, and then beg the question, or "local empty waves" (local hidden
variables), and then have to accept "many worlds" and cannot prove nonlocality.
