These stipulations include officially unseating the three legislators in a ceremony presided over by the AN’s 2016 presidency, which is considered legitimate by the TSJ, and the subsequent re-election of the legislature presidency for 2017.