Text this: Boolean-Valued models and independence proofs in set theory/