Update 06_functional_requirements.tex