functionalSpecification