What is the relationship between the following pairs of complexity classes? Give brief but thorough justifications; if you say one class is contained in the other you should explain whether (and why) the containment is proper.