Touching up Section 3.4

Minor changes, but I think we should talk about if we're ok with
G_{n,n,p}, or if we want to switch to d-out. Also, whether we want to
talk about state the claim for l≠r.