functional specification added