PDF Viewer -Click Here
source: https://www.eecs.yorku.ca/course_archive/2008-09/S/1019/Website_files/06-nested-quantifiers.pdf