functional specification updated