I looks like what I was thinking of is Baldwin's method, actually. Failing monotonicity is still a problem, but it's actually pretty cool that it satisfies the

I looks like what I was thinking of is Baldwin's method, actually. Failing monotonicity is still a problem, but it's actually pretty cool that it satisfies the Condorcet criterion. That seems like a pretty big step up from plain IRV.