Source
Rovelli (1996), LIT-1635, arXiv quant-ph/9609002v2, §§II.D and III.D; read in NOTE-1227. What the paper states and shows is THEORY-1080, which this entry extends.
Why it is Proposed
Consistency is shown for the single S–O–P case, by von Neumann’s correlation (p. 9). That rules (i) and (ii) leave “no way in which contradiction may develop” is asserted for the general case, not proved.