Someone once trolled an objectivist form with something like this: how do you square 'A==A' with '.9999...=1'?