11-19-12_Reynolds proofs 3 - jimrcarroll