be obligatory for

be obligatory for definitions