Create FunctionalSpec.md