Added some specification