SMS versenden: Simplified independence proofs: boolean valued models of set theory