Update 02-Exode.tex