Update and rename A13 Set Theory.texand Sampling to A13 Set Theory.tex