[#3] Update functional spec