α» JohnHopcroft edit** « wiki αt10xxxxx