Are you glad SLO County settled the redistricting lawsuit?