Local environment of the B0712+472 lens system, which is marked by the open plus sign. The dashed line represents the position angle of the shear term in the lens model. Circled galaxies are all part of a foreground structure at z = 0.29 (Fassnacht & Lubin 2002), whilst the diamond marks the tip-tilt star used in the Keck AO observations of this system. The figure is based on the Keck LRIS imaging described in Fassnacht & Lubin (2002).