Goal "!vs. exec s vs (comp e) = (value s e) # vs";