inserted into 03mux2.tex