Stav dette: Simplified independence proofs: boolean valued models of set theory