Envoyer par SMS: Simplified independence proofs: boolean valued models of set theory