Αποστολή με SMS: Boolean-valued models and independence