Added to funcReq.tex