Update Functional_Spec.md