be convenient for

be convenient for definitions