Update 04-CheckingAssumptions.tex