Text this: Boolean-Valued Models and Independence Proofs in Set Theory