Отправить по sms: Data independence with predicate symbols