Simplified independence proofs: Boolean valued models