Your web browser must have JavaScript enabled in order for this application to display correctly.
Exercise 4: Two quantifiers and identity