LARA This is an old revision of the document! Deciding Exists-Forall Class What is Herbrand's interpretation of this class?