Update FunctionalSpecification.md