Paul Lundeen is an American politician and former member of the Colorado General Assembly, representing Colorado's 9th Senate District and 19th House district. From Wikipedia
A vacancy committee will name his District 9 successor, with Republicans also set to elect a new Senate minority leader.