add functional spec