generality and definitions