α» MichaelGenesereth edit** « wiki αt10xxxxx