Updating Functional Spec