added ForAll and Exist to myutils.rb in sdsl.