The Novel Research Institute
"Arxana", Joe Corneli, 25 April 2009
"Linguistics of Mathematical Proofs" Raymond Puzio, 6 June 2009