1900 (2), both choice Proofs with some spotting (2)

Details
1900 (2), both choice Proofs with some spotting (2)