Αποστολή με SMS: Elementary quantifier-free formulae in boundary elements