  We identify "proper quantum computation" with computational processes that
cannot be efficiently simulated on a classical computer. For optical quantum
computation, we establish "no-go" theorems for classes of quantum optical
experiments that cannot yield proper quantum computation, and we identify
requirements for optical proper quantum computation that correspond to
violations of assumptions underpinning the no-go theorems.
