A few more definitions