"Allen D. Johnson"