Simplified independence proofs by J. Rosser