Text this: Elementary quantifier-free formulae in boundary elements