[striking]

Whoops. Thanks, I messed up pretty badly, didn't I.

[tokenrove]

It's an easy mistake to make. It's interesting, though, because there are at least three important women who were involved in related work at the same time -- I'm thinking of Liskov, Dwork, and Lynch.