Suppose we know Herbrand's theorem, that is$,$ that a formula in clausal normal form is satisfiable if and only if it has a Herbrand model. Can we use this theorem $($along with other basic techniques we have discussed$)$ to prove that the Bernays$-$Shoenfinkel fragment of FOL is decidable?