some more definitions