in case
in the event
on condition that
on the understanding that