Talk:Upcoming ERB suggestions/@comment-68.55.17.173-20150129012856/@comment-26209006-20150129014813

But jefferson wasn't president at that point, I think. He was a general, I think.