Added some definitions