Update MR36-SetTheory.tex