Starting Functional Spefications with Gherking language.