L. Hardy. (2001)cite arxiv:quant-ph/0101012Comment: 34 pages. Version 4: Improved proofs of K=N^r and D=D^T. Discussion of state update rule after measurement added. Various clarifications in proofs Version 2: Axiom 2 modified and corresponding corrections made to proof in Sec. 8.1. Typos and minor errors fixed.