Add a functional spec