Arizona Attorney General Kris Mayes filed a lawsuit against House Speaker Mike Johnson, R-La., on Tuesday following a continuous refusal by Johnson to seat Rep.-elect Adelita Grijalva., D-Ariz.

The 17-page lawsuit filed in Washington on Monday seeks to compel Johnson to swear in Grijalva, or for another official in the House to do so. Mayes warns that allowing Johnson to avoid seating Grijalva would “thwart” the will of voters.

“This case is about whether someone duly elected to the House who indisputably meets the constitutional qualifications of the office,” Mayers wrote in the filing, “may be denied her rightful office simply because the Speaker has decided to keep the House out of ‘regular session.’”