so, if Trump gets a third term, Mamdani can be President. that's how this works, right?