if there should happen to be Synonyms

in the event of