  We quantify Peter Scott's Theorem that surface groups are locally extended
residually finite (LERF) in terms of geometric data. In the process, we will
quantify another result by Scott that any closed geodesic in a surface lifts to
an embedded loop in a finite cover.
