Some Rigor Questions.pdf