add some definitions