α» LeslieLamport edit** « wiki αt65.....