Update basics.tex