More succinct names for definitions