Provisional completion of post on Moore graphs.