syntax error message for debugging
eval takes an expression as command-line argument
add existential quantifier