barbara-simons-and-michael-sipser documents