Added correctness argument for Q3. Minor edits.