Simplified independence proofs door J. Rosser