Text this: Simplified independence proofs: boolean valued models of set theory