functional_req.tex update