some definitions