user.tex: system overview~