tex files for testing -- don't know where to put them