extra provision Synonym