I think that lexical $a and $b are still OK (and have no significance to sort), but you're right that they're sub-optimal choices of names. I've changed it—thanks!