Update 10-std.tex