[StavrosK]

It's correct now too, since we can no less change the value now than before the redefinition (we can't change it in either case, and not because Boltzmann is dead), so the joke works fine!