Simplified independence proofs