Here count(*) over win != countif(city = 'Miami') over win is literally translated as where all city values for the same id is NOT Miami

Here count(*) over win != countif(city = 'Miami') over win is literally translated as where all city values for the same id is NOT Miami