Discussing the technicalities involved in filing the Election 2020 petition