Modify error message for vE dependencies
Merge branch 'master' into gh-pages
Fix parallel bug for ∃E, i.e. parallel to vE
Merge branch 'master' into gh-pages