In Redistricting the 23rd district was renumbered into the 20th district . In redistricting , the 23rd District was renumbered as the 20th District . In redistricting , the 20th District was renumbered as the 23rd District .