added some definitions