added fall 2013 semantics TAship
increased arraystretch from 1.5 to 1.75