Update robo1.tex