Update oef4.tex