Let me generalize my argument. If an IRV election comes down to two candidates left standing, and one of those candidates is also the Condorcet winner, then the Condorcet winner must also be the IRV winner. That seems to be the case in the Burlington example. -- /Jonathan Lundell.