Add initial docs for Prof. Allen