Create 04-CheckingAssumptions.tex