 much knowledge the mayor himself had. So I think that's still a big question out there. And if we get charges in this 2023 case where there's actually video of Gannon's operatives stuffing the ballot boxes, we may get some more answers about how directly involved the mayor was.