Cornell, Knolinski, Knuth, Pearson, Russell, Spritka:Information about John A. Mitchell