What's the role of restricting the number domain to binary here? Can't they each have a real-valued number on their back (or worse, something from a larger set) with the same argument still going through?