Add ForAll and Exists to good names list